.editorArea
{
	border:1px solid gray;
}
.CodeMirror-line-numbers
{
	width: 2.2em;
	color: #2B91AF;
	background-color: #F0EFEC;
	border-right:1px solid gray;
	text-align: right;
	padding-right: .3em;
	font-size: 10pt;
	font-family: monospace;
	padding-top: .4em;
}
